id.\*:("3-540-64406-7")
Results 1 to 1 of 1
Selection :
TABLEAUX '98 : automated reasoning with analytic tableaux and related methods (Oisterwijk, May 5-8, 1998)de Swart, Harrie.Lecture notes in computer science. 1998, issn 0302-9743, isbn 3-540-64406-7, X, 324 p, isbn 3-540-64406-7Conference Proceedings